Pointer analysis

Results: 174



#Item
121

1 CHALLENGES IN POINTER ANALYSIS OF JAVASCRIPT Ben Livshits

Add to Reading List

Source URL: research.microsoft.com

- Date: 2013-07-09 14:46:02
    122Cross-platform software / Source code / Procedural programming languages / Software bug / C / Static program analysis / Pointer / Debugging / Naming convention / Computer programming / Computing / Software engineering

    TOOLS & SOFTWARE Especially in embedded systems, software is engineering too By Fergus Bolger, PRQA

    Add to Reading List

    Source URL: www.programmingresearch.com

    Language: English - Date: 2013-08-14 04:34:38
    123Compiler construction / Computer memory / Control flow graph / Data-flow analysis / C dynamic memory allocation / Data buffer / Call stack / ACT-R / Pointer / Computing / Software engineering / Computer programming

    HI-CFG: Construction by Binary Analysis, and Application to Attack Polymorphism Dan Caselden1 , Alex Bazhanyuk2 , Mathias Payer3 , Stephen McCamant4 , and Dawn Song3 1

    Add to Reading List

    Source URL: bitblaze.cs.berkeley.edu

    Language: English - Date: 2013-06-27 15:30:02
    124Software bugs / Debuggers / Insure++ / Pointer / Parasoft / C dynamic memory allocation / Memory corruption / C / Memory leak / Computing / Computer programming / Software engineering

    Insure++ is a runtime memory analysis and error detection tool for C and C++ that automatically identifies a variety of difficult-to-track programming and memory-access errors, along with potential defects and inefficien

    Add to Reading List

    Source URL: www.parasoft.com

    Language: English - Date: 2014-11-26 18:18:24
    125Software bugs / Debuggers / Insure++ / Pointer / Parasoft / C dynamic memory allocation / Memory corruption / C / Memory leak / Computing / Computer programming / Software engineering

    Insure++ is a runtime memory analysis and error detection tool for C and C++ that automatically identifies a variety of difficult-to-track programming and memory-access errors, along with potential defects and inefficien

    Add to Reading List

    Source URL: www.parasoft.com

    Language: English - Date: 2014-12-01 04:04:05
    126C programming language / C++ / Programming language implementation / Compiler construction / C preprocessor / C / Declaration / Preprocessor / Pointer / Computing / Software engineering / Computer programming

    NAME uno − static analysis tool for ANSI-C programs SYNOPSIS uno [-D[removed]U[removed]I[removed]CPP=...] [-a] [-g x] [-h] [-l] [-m x] [-n] [-p x] [-s] [-t] [-u] [-V] [-v] [-w] [-x f] *.c

    Add to Reading List

    Source URL: www.spinroot.com

    Language: English - Date: 2008-06-30 15:34:28
    127Software testing / GrammaTech / Program analysis / Application security / Software bug / Static program analysis / Vulnerability / Analysis / Pointer / Computing / Software / Cross-platform software

    PRODUCT DATASHEET CODESONAR® 4 STATIC ANALYSIS “CodeSonar does a better job of

    Add to Reading List

    Source URL: www.grammatech.com

    Language: English - Date: 2014-11-26 00:46:21
    128Cross-platform software / Data types / Program analysis / Type system / Java version history / Type inference / Java / Pointer / Computing / Type theory / Java platform

    8 JDT JDT embraces embraces Type Type Annotations Annotations

    Add to Reading List

    Source URL: www.eclipsecon.org

    Language: English - Date: 2014-03-22 10:44:54
    129Software bugs / Coverity / Pointer / Segmentation fault / Linux kernel / C / Source lines of code / Uninitialized variable / Kernel / Computing / Software engineering / Software

    Comparison of Open Source and Commercial Static Analysis Solutions Zack Samocha, Senior Director of Products Coverity

    Add to Reading List

    Source URL: events.linuxfoundation.org

    Language: English - Date: 2013-10-16 09:43:58
    130Compiler optimizations / Compiler construction / Programming language implementation / Register allocation / Static single assignment form / Data-flow analysis / Live variable analysis / Subroutine / Pointer / Software engineering / Computing / Computer programming

    UNIVERSITY OF CAMBRIDGE Computer Laboratory Computer Science Tripos Part II

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    Language: English - Date: 2005-01-11 11:34:03
    UPDATE